Quality Meshing of 2D Images with Guarantees Derived by a Computer-Assisted Proof
نویسندگان
چکیده
This paper describes an algorithm for generating unstructured triangular meshes from a continuous two-dimensional object represented by an image. The algorithm uses squares as a background grid from which to build the quadrilateral elements that conform to the input contours. Then the triangulation is obtained by automatically choosing the diagonals that optimize the angles of the triangles. The extracted triangular meshes can be extensively used in the finite element method (FEM) since our triangulation provides a minimum angle bound of 18.4349◦. The angle bound is verified by a computer-assisted proof using interval arithmetic.
منابع مشابه
A Guaranteed Quality Boundary Graded Triangular Meshing Algorithm Backed by a Computer-Assisted Proof
The quality of mesh elements including shape and size influences the performance of finite elements analysis, interpolation, and contouring. The existence of small angles is especially critical for conditioning of the stiffness matrix in finite elements methods. In this paper we present a boundary graded triangular mesh generation algorithm that allows for guaranteed bounds on angles. Our proof...
متن کاملP-106: The Computer-Assisted Vacuolated Sperm Analysis and Zygote Quality
Background: Digital image processing and analysis are used for computer assisted evaluation of sperm morphology. Sperm head morphology has been identified as a characteristic that can be used to predict a male’s semen quality. On the other hand, zygote competence analysis is an importance tool to select embryo(s) for transfer. The aim of the present study is to determine zygote quality resulted...
متن کاملIrregular to Completely Regular Meshing in Computer Graphics
Irregular to Completely Regular Meshing in Computer Graphics This talk will provide a quick overview of meshing structures used in computer graphics. Maximizing rendering performance is a key goal, and irregular meshes provide the greatest geometric fidelity for a given mesh complexity. Level-ofdetail representations like progressive meshes allow selective refinement of such meshes even in real...
متن کاملEvaluation of attenuation correction process in cardiac SPECT images
Introduction: Attenuation correction is a useful process for improving myocardial perfusion SPECT and is dependent on activity and distribution of attenuation coefficients in the body (attenuation map). Attenuation artifacts are a common problem in myocardial perfusion SPECT. The aim of this study was to compare the effect of attenuation correction using different a...
متن کاملA Semi-Automated Algorithm for Segmentation of the Left Atrial Appendage Landing Zone: Application in Left Atrial Appendage Occlusion Procedures
Background: Mechanical occlusion of the Left atrial appendage (LAA) using a purpose-built device has emerged as an effective prophylactic treatment in patients with atrial fibrillation at risk of stroke and a contraindication for anticoagulation. A crucial step in procedural planning is the choice of the device size. This is currently based on the manual analysis of the “Device Landing Zone” fr...
متن کامل